Mathematical object - PDFSEARCH.IO - Document Search Engine

Mathematical object
Results: 251

#	Item
91	Microsoft Word - How_do_you_find_the_Sine.doc Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:15:56 Subroutines Main function D Method Io Mathematical optimization Object-oriented programming Software engineering Computer programming Computing
92	The Best Writing on Mathematics 2014 Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2014-10-16 10:58:23 Applied mathematics Foundations of mathematics Infinity Mathematical object The Princeton Companion to Mathematics Mathematics Philosophy of mathematics Reuben Hersh
93	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
94	PolicyAnalysis April 8, 2015 \| Number 771 Beyond Regulation A Cooperative Approach to High-Frequency Trading Add to Reading List Source URL: object.cato.org Language: English - Date: 2015-04-03 13:59:06 Economics Stock market Mathematical finance United States Securities and Exchange Commission Algorithmic trading High-frequency trading Flash Crash Regulation NMS Order Financial markets Financial economics Finance
95	CRICOS Code : 035381D The course is run over 8 or 12 months depending on which start date and consists of 8 units in total. These comprise of the same units and structure that make up the first year of the degree course Add to Reading List Source URL: www.curtincollege.edu.au Language: English - Date: 2014-02-04 22:24:50 Database management systems Curtin College Open Universities Australia Programming language Object-oriented programming Software engineering SQL Database Software design Computing Mathematical software Data management
96	Using CORBA Middleware to Support the Development of Distributed Virtual Environment Applications S. Wilson, H. Sayers, M. D. J. McNeill Virtual Environment Applications Group School of Computing and Mathematical Science Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2001-01-08 09:05:36 Computer programming Component-based software engineering Object-oriented programming Inter-process communication Application programming interfaces Common Object Request Broker Architecture TAO Object request broker Service-oriented architecture Software engineering CORBA Computing
97	A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe Department of informatics, University of Oslo Abstract Aspect-oriented specifications and formal reasoning are often advocated for th Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:02 Predicate logic Object-oriented programming GNUstep NeXT Objective-C Protocol Foreach loop Predicate Constructor Software engineering Logic Mathematical logic
98	http://www.catb.org/~esr/writings/utility-of-math/ Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 20:16:00 Formal systems Mathematical logic Formalism Mathematical object Geometry Axiomatic system Mathematical proof Set theory Mathematical model Mathematics Philosophy of mathematics Abstraction
99	STATIONARY FIELDS IN OBJECT-ORIENTED PROGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: www.chrisunkel.com Language: English - Date: 2010-04-18 00:00:38 Algorithm Mathematical logic Theoretical computer science Type system Java Action Mathematical optimization Computing Physics Software engineering
100	Why Structural Recursion Should Be Taught Before Arrays ∗ in CS 1 † Kim B. Bruce , Andrea Danyluk, and Thomas Murtagh Add to Reading List Source URL: eventfuljava.cs.williams.edu Language: English - Date: 2008-01-09 22:58:18 Recursion Programming idioms Programming paradigms Mathematical logic Theoretical computer science Object-oriented programming Recursive data type Functional programming Algorithm Computer programming Software engineering Computing

UPDATE